$\forall$$T$:Type. $T$ $\subseteq$ Top